Decentralized Supervisory Control of Discrete-Event Systems Over Communication Networks
نویسندگان
چکیده
منابع مشابه
Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملDecentralized Supervisory Control of Discrete - Event
This paper formulates a problem of communication channels in decentralized control. A necessary and suucient condition is obtained for the existence of such a channel and is illustrated with an example of communication protocols. The existence of minimal communication channels is also investigated.
متن کاملDecentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence
In decentralized systems, branching behaviors naturally arise due to communication, unmodeled dynamics and system abstraction, which can not be adequately captured by the traditional sequencing-based language equivalence. As a finer behavior equivalence than language equivalence, bisimulation not only allows the full set of branching behaviors but also explicitly specifies the properties in ter...
متن کاملDecentralized supervisory control of continuous timed discrete event systems
In this paper, we presented the decentralized supervisory control problem of discrete event system with continuous-time variable. By presenting the definition of coobservability for the timed specification, a necessary and sufficient condition for the existence of decentralized supervisors is obtained. Finally, a numerical example is
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2008
ISSN: 0018-9286
DOI: 10.1109/tac.2007.915173